package clases;
import java.util.ArrayList;


public class ResultadoCasoDePruebaStringBinario {
	int clausulasMax = 0;
	String binarioQueHaceMaxLasClausulas = Integer.toBinaryString(0);
	ArrayList<Integer> listaClausulasSatisfechas = new ArrayList<Integer>();
	
	
	
	public ResultadoCasoDePruebaStringBinario(int clausulasMax,
			String binarioQueHaceMaxLasClausulas,
			ArrayList<Integer> listaClausulasSatisfechas) {
		super();
		this.clausulasMax = clausulasMax;
		this.binarioQueHaceMaxLasClausulas = binarioQueHaceMaxLasClausulas;
		this.listaClausulasSatisfechas = listaClausulasSatisfechas;
	}
	
}
